H ? « ‹ ← → › »

Language peer sets for System F:
Designed 1989 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

System F(ID:2878/sys007)

alternate simple view
Designed 1989
Published: 1989

Polymorphic, non-strict functional language. using Lambda-2 or the polymorphic lambda calculus.

Structures:
References:
  • Girard, J-Y. (0) Girard, J-Y. "Proofs and Types", Cambridge U Press 1989
  • Morrisett, Greg; David Walker, Karl Crary, and Nea (1997) Morrisett, Greg; David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language (Extended version). Technical Report TR97-1651, Cornell University, November 1997. Abstract pdf
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder